A Railway demonstrator model for experimental investigation of integrated specification techniques
نویسندگان
چکیده
In the paper conceptual and physical realisation of a railway demonstrator model is presented. The main purpose of its design is a validation of different control algorithms specified by different project groups in real operating conditions. Conceptual tasks of the realisation are the specification of the target operational behaviour and the derivation of functional structure of the railway model. According to the users requirements several utilisation options are being considered. Furthermore the implementation concept is described.
منابع مشابه
Investigation of SLIM Dynamic Models Based on Vector Control for Railway Applications
Although, Single-Sided Linear Induction Motor (SLIM) utilization has increased in railway applications due to their numerous advantages in comparison to Rotational Induction Motors (RIM), there are some sophistication in their mathematical models and electrical drive. This paper focuses on the problems of SLIM modeling, with assuming end-effect on the basis of Field Oriented Control (FOC) as a ...
متن کاملAssessment and Monitoring for Railway Tracks Reliability and Safety using Nondestructive Testing Measurement Systems
The deterioration of railway tracks raises great concerns about the integrity of assessments and evaluations of railway tracks currently in service. Integrated inspection strategies coupled with innovations in inspection technology can lead to significant improvements in operational cost efficiency and reliability without the requirement of a fundamental shift in the existing understanding o...
متن کاملA Formal Verification Environment for Railway Signaling System Design
A fundamental problem in the design and development of embedded control systems is the verification of safety requirements. Formal methods, offering a mathematical way to specify and analyze the behavior of a system, together with the related support tools can successfully be applied in the formal proof that a system is safe. However, the complexity of real systems is such that automated tools ...
متن کاملEmbedded system design using Polychrony
Polychrony is an integrated development environment and technology demonstrator consisting of a compiler, of a visual editor and of a model checker. It provides a unified model-driven environment to perform embedded system design exploration by using top-down and bottom-up design methodologies formally supported by design model transformations from specification to implementation and from synch...
متن کاملInvestigation of the Influences of Track Superstructure Parameters on Ballasted Railway Track Design
The main design criteria of ballasted railway tracks include rail deflections, rail bending stresses, rail wheel contact stresses, sleeper bending moments and ballast sleeper contact pressures. Numerous criteria have been defined for the design of ballasted railway tracks owing to the various mechanical properties of track components and their complex interaction. Therefore, railway track desig...
متن کامل